- inconsistency proof
- доказательство несоответствия, опровержение
Англо-русский словарь по исследованиям и ноу-хау. Е.Г. Коваленк. 2015.
inconsistency proof
Смотреть что такое "inconsistency proof" в других словарях:
Paraconsistent logic — A paraconsistent logic is a logical system that attempts to deal with contradictions in a discriminating way. Alternatively, paraconsistent logic is the subfield of logic that is concerned with studying and developing paraconsistent (or… … Wikipedia
Logic and the philosophy of mathematics in the nineteenth century — John Stillwell INTRODUCTION In its history of over two thousand years, mathematics has seldom been disturbed by philosophical disputes. Ever since Plato, who is said to have put the slogan ‘Let no one who is not a geometer enter here’ over the… … History of philosophy
Temporal single-system interpretation — The temporal single system interpretation (TSSI) of Karl Marx s value theory emerged in the early 1980s in response to renewed allegations that his theory was riven with internal inconsistencies, and that it must therefore be rejected or… … Wikipedia
False Decretals — • A name given to certain apocryphal papal letters contained in a collection of canon laws composed about the middle of the ninth century by an author who uses the pseudonym of Isidore Mercator, in the opening preface to the collection Catholic… … Catholic encyclopedia
Doxastic logic — is a modal logic concerned with reasoning about beliefs. The term doxastic derives from the ancient Greek δόξα, doxa, which means belief. Typically, a doxastic logic uses Bx to mean It is believed that x is the case, and the set denotes a set of… … Wikipedia
MASORAH — This article is arranged according to the following outline: 1. THE TRANSMISSION OF THE BIBLE 1.1. THE SOFERIM 1.2. WRITTEN TRANSMISSION 1.2.1. Methods of Writing 1.2.1.1. THE ORDER OF THE BOOKS 1.2.1.2. SEDARIM AND PARASHIYYOT … Encyclopedia of Judaism
Method of analytic tableaux — A graphical representation of a partially built propositional tableau In proof theory, the semantic tableau (or truth tree) is a decision procedure for sentential and related logics, and a proof procedure for formulas of first order logic. The… … Wikipedia
Chng Suan Tze v. Minister for Home Affairs — The Old Supreme Court Building, photographed in April 2007 Court Court of Appeal of Singapore Full case name … Wikipedia
Contradiction — In classical logic, a contradiction consists of a logical incompatibility between two or more propositions. It occurs when the propositions, taken together, yield two conclusions which form the logical, usually opposite inversions of each other.… … Wikipedia
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
Henry of Ghent and Duns Scotus — Stephen Dumont LIFE AND WORKS Henry of Ghent Henry of Ghent was arguably the most influential Latin theologian between Thomas Aquinas and Duns Scotus, regent as a leading master of theology at the University of Paris for the better part of the… … History of philosophy
